LML[1]

Lazy ML

Chalmers University Tech, Gothenburg, Sweden

A lazy, completely functional variant of ML[2]. Implemented on the G-machine, and used to implement the Haskell B compiler.